TSTP Solution File: ITP258^4 by Nitpick---2016